<div>
  <p>
    This is the path to the repo executable which will be called whenever repo commands
    are ran.  Repo can be installed by running <code>curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo</code>
  </p>
  <p>
    See more documentation about <a href="http://source.android.com/source/downloading.html">installing</a>
    and <a href="http://source.android.com/source/using-repo.html">using</a> repo.
  </p>
</div>
